21. Automated reasoning with analytic tableaux and related methods :
پدیدآورنده : Didier Galmiche, Dominique Larchey-Wendling (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
22. Automatic differentiation
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : difference equations ; Data processing ; Congresses. ; -Differential calculus ; Data processing ; Congresses. ; Differential
23. Automatic differentiation of algorithms :
پدیدآورنده : George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoët, Uwe Naumann, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential calculus -- Data processing -- Congresses.,Differential calculus -- Data processing.
رده :
QA304
.
G467
9999
24. CONCUR'91 :
پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
25. CONCUR '95 :
پدیدآورنده : Insup Lee, Scott A. Smolka, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
26. Calculus for a new century: A pump, not a filter, a national colloquium, October 28-29, 1987
پدیدآورنده : Edited by Lynn Arthur Steen for the board on mathematical sciences, and the mathematical sciences education board of the national research council
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Calculus - Congresses
رده :
QA
,
303
,.
C175
,
1988
27. Calculus for a new century:a pump,not a filter,a national
پدیدآورنده : STEEN,LYNN ARTHUR
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : CALCULUS-CONGRESSES
رده :
QA
303
.
C175
1987
28. Calculus of Variations, homogenization and continuum mechanics: June 21-25, 1993, CIRM- Luming Marseille, France
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Calculus of Variations- Congresses,، Composite materials- Congresses,، Continuum mechanics- Congresses
رده :
QA
315
.
C35
1994
29. Calculus of variaions differential eguations: technion 1998
پدیدآورنده : / edited by alexander Ioffe, Simen Reich, Itai Shafrir
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Calculus of variations-- congresses,Differential equations-- congresses
رده :
515
.
64
C144
30. Calculus of variations and control theory
پدیدآورنده : / edited by David L. Russell
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA315
،.
S96
31. Calculus of variations and control theory: Proceedings of a Symposium Conducted by the Mathematics Reserch Center, University of Wisconsin, September 22-24, 1975
پدیدآورنده : Symposium on Calculus of Variations and Control Theory, University of Wisconisn-Madison
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Calculus of variations,Congresses ، Control theory
رده :
QA
315
.
S95
1975
32. Calculus of variations and control theory : proceedings of a symposium conducted by the Mathematics Research Center, University of Wisconsin-Madison, September 22-24, 1975
پدیدآورنده : Symposium on Calculus of Variations and Control Theory, 5791, University of Wisconsin--Madison
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Calculus of variations-- Congresses,، Control theory-- Congresses
رده :
QA
3
.
U45
no
.
36
33. Calculus of variations and control theory : proceedings of a symposium conducted by the Mathematics Research Center, University of Wisconsin-Madison, September 22-24, 1975
پدیدآورنده : edited by David L. Russell,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Calculus of variations - Congresses,Control theory - Congresses
رده :
QA
.
U45
,
no
3
.
36
34. Calculus of variations and differential equations: Technion 1998
پدیدآورنده : Alexander Ioffe, Simeon Reich, Itai Shafrir, ]editors[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Calculus of variations,Congresses ، Differential equations
رده :
QA
315
.
C227
2000
35. Calculus of variations and differential equations: technion 1998
پدیدآورنده :
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Calculus of variations congresses,Differential equations congresses
رده :
{
1648
},
e41ec89f115296052518ae2d22555366
36. Calculus of variations and geometric evolution problems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Calculus of variations ; Congresses. ; Hypersurfaces ; Congresses. ; Riemannian manifolds ; Congresses. ;
37. Calculus of variations and geometric evolution problems
پدیدآورنده : / F. Bethuel ... [et al.]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Calculus of variations Congresses,Hypersurfaces Congresses,Riemannian manifolds Congresses
رده :
QA3
.
L28
171
38. Calculus of variations and geometric evolution problems : lectures given at the 2nd session of the Centro Internazionale Estivo )C.I.M.E.( held in Cetraro, Italy, June 15-22, 1996
پدیدآورنده : F. Bethuel...]et al.[; editors, S. Hildebrandt, M. Struwe
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Calculus of variations,Congresses ، Hypersurfaces,Congresses ، Riemannian manifolds
رده :
QA
3
.
L28
Vol
.
1713
39. Calculus of variations and geometric evolution problems: lectures given at the 2nd session of the Centro Internazionale Mathematico Estivo )C.I.M.E.( held in Cetraro Italy, June 15-22, 1996
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Caluclus of variations,Congresses ، Hypersurfaces,Congresses ، Riemannian manifolds
رده :
QA
3
.
L28
no
.
1713
40. Calculus of variations and its applications
پدیدآورنده : Lawrence M. Graves, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Calculus of variations
رده :
QA
1
.
P69
Vol
.
8
